|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
|
|
Detektory strukturovaných dat pro účely testování software
Znojil, Ondřej ; Turoňová, Lenka (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a popisem implementace nástroje pro analýzu strukturovaných dat v často používaných formátech jako je JSON nebo XML. Nástroj je jedním z mnoha dílších prvků platformy Testos, což je sada vzájemně komunikujících testovacích nástrojů. Primárním cílem této práce je vytvoření analyzátoru za účelem testování a propojení s dalšími nástroji v rámci projektu. Nástroj slouží k agregaci vstupních dat, určení váhy jednotlivých datových entit a abstrakcí skalárních hodnot.
|
|
|
Automatizovaná syntéza stromových struktur z reálných dat
Želiar, Dušan ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto diplomová práca sa zaoberá problematikou analýzy štrukturovaných stromových dát. Cieľom práce je návrh a implementácia nástroja pre automatizovanú detekciu závislostí vzoriek reálnych dát, pričom zohľadňuje ich stromovú štruktúru a hodnoty uzlov. Nástroj vytvorí predpis pre syntézu umelých dát, ktoré sú významom a štruktúrou podobné reálnym vzorkám. Nástroj je súčasťou platformy Testos vyvíjané na Fakulte informačných technológií.
|
|
|
Testovací prostředí pro spouštění paralelních úloh
Hostačný, Peter ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Testos je projekt, ktorý sa zameriava na vytvorenie sady nástrojov podporujúcich automatizované testovanie softwaru. Jednou z jeho častí je výpočetný cluster, ktorého hlavným cieľom je počítanie paralelných úloh a poskytovanie výpočetných zdrojov ostatným nástrojom v projekte. Táto práca podrobne opisuje proces jeho návrhu, implementácie a integrácie s projektom Testos. Očakáva sa, že výsledný systém bude využívaný po dokončení projektu zbernice Testos, ktorá je k jeho integrácii potrebná.
|
|
|
Automatizovaná detekce závislostí datových struktur
Nováček, Pavel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou automatizovaného získávání znalostí ze strukturovaných dat, konkrétně pak detekcí závislostí datových typů ve stromově strukturovaných datech. Práce je řešena v kontextu platformy Testos, která cílí na automatizaci softwarového testování. Cílem řešení je navrhnout a implementovat nástroj, jenž bude automatizovaně plánovat a spouštět dílčí detekce nad vzorky reálných datových struktur. Detekce budou vykonávány externími moduly označované jako detektory, se kterými bude nástroj spolupracovat. Vytvořené řešení je realizováno jako služba implementující algoritmus, jenž komunikuje s detektory prostřednictvím dobře definovaného protokolu a paralelně jim zadává požadavky na provádění dílčích detekcí, jejichž výsledky následně vyhodnocuje. Službu lze ovládat a úkolovat pomocí vytvořeného HTTP API. Výsledky detekcí, tj. zjištěné významy či závislosti ve vstupních datech, jsou využívány dalšími nástroji platformy Testos za účelem generovaní nových testovacích dat, jejichž struktura odpovídá vstupním vzorkům reálných dat.
|
|
|
Rozvoj nástroje Dataster
Vlach, Martin ; Holík, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá rozvojem existující webové aplikace Dataster v platformě Testos. Tato aplikace slouží zejména jako uživatelské rozhraní pro nástroj dbgenx z téže platformy. Smyslem aplikace Dataster je možnost uživatelsky přívětivého generování testovacích dat. Vytvořená data následně slouží primárně pro naplnění obsahu relační databáze. Prvním cílem této bakalářské práce bylo rozšířit nástroj dbgenx o možnost generování testovacích dat se zohledněním kritérií pokrytí kombinačního testování. Za tímto účelem bylo využito aplikační logiky nástroje Combine též z platformy Testos. Druhá polovina práce se zabývá množstvím drobných úprav a rozšíření samotného uživatelského rozhraní systému Dataster. Účelem těchto úprav bylo zlepšení použitelnosti a celkové uživatelské přívětivosti aplikace.
|
|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Kontejnerizace detektorů nad relačními databázemi
Oberreiter, Michal ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá kontejnerizací aplikací pro příkazové řádky, konkrétně pak analyzátorů obsahu databáze. Práce je řešena v kontextu platformy Testos, která cílí na automatizaci softwarového testování. Cílem řešení je navrhnout a implementovat univerzálně použitelný nástroj, který by také vhodným způsobem řešil specifické požadavky databázových detektorů. Pro účely kontejnerizace byl zvolen nástroj Docker, nad kterým byl postaven zapouzdřující systém. Dále bylo vytvořeno webové uživatelské rozhraní komunikující s API. Výsledné řešení umožňuje snadno spravovat aplikace příkazové řádky a získávat z nich relevantní výstupy. Přínosem této práce je usnadnění práce s aplikacemi, které vyžadují své specifické závislosti. Usnadnění spočívá v zapouzdření specifik nástroje Docker pod obecnější model práce a také ve vytvoření uživatelsky přívětivého grafického rozhraní.
|
|
|
Automatické generování testovacích dat informačních systémů
Naňo, Andrej ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Nastroj ISAGENumoznuje automaticke generovanie komplexnych sturkturovanych testovacich vstupov imitujucich realnu komunikaciu z prostredia modernych informacnych systemov. Komplexne data, typicky so strukturou stromu v sucasnosti predstavuju zakladny transportacny prostriedok pre prenos informacii medzi uzlami distribuovanych informacnych systemov. Automaticky generator ISAGENvychadza z metodologie datami riadeneho testovania a vyuziva konkretne data z produkcneho prostredia ako hlavnu charakteristiku a specifikaciu pre riadenie generovania novych podobnych dat pre testovacie pripady splnajuce zadane kombinacne kriteria. Hlavnym prinosom tejto prace je obsiahle predlozenie technik pre automatizovane generovanie dat spolocne s praktickou implementaciou, ktora demonstruje ich pouzitie. Vytvorene riesenie umoznuje testerom vytvarat viac relevantne testovacie data, ktore vhodne reprezentuju realnu komunikaciu z produkcnych informacnych systemov.
|
|
|
Rozvoj instrumentace programu při překladu
Ševčík, Václav ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Diplomová práce se věnuje vytvoření nástroje pro instrumentaci programu během překladu v LLVM překladači. Nástroj umožňuje instrumentovat přístupy do paměti a funkce. Instrumentace byla realizována pomocí přidání průchodu v optimalizační fázi překladače LLVM. Informace o proměnných jsou spravovány vytvořeným frameworkem, který se připojí k programu během sestavování. Doba běhu programu se zavedenou instrumentací zvýší časovou režii programu při vypnuté nepřímé adresaci průměrně o 14 % a při zapnuté nepřímé adresaci o 23 %. Hlavním přínosem práce je poskytnutí snadné instrumentace programu, která dokáže sledovat i operace nad lokálními proměnnými (nepřímou adresaci) a umožňuje instrumentovat i vícevláknové programy. Nástroj je také začleněn do sady nástrojů Testos, kde poskytuje automatickou instrumentaci pro nástroj Spectra.
|
host ::
RSS.